Object Types against Races
نویسندگان
چکیده
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurrent object calculus. We enrich that calculus with a form of dependent object types that enables us to verify that threads invoke and update methods only after acquiring appropriate locks. We establish that well-typed programs do not have race conditions.
منابع مشابه
Are the dominant and recessive plant disease resistance genes similar? A case study of rice R genes and Xanthomonas oryzae pv. oryzae races.
The resistance of rice to its bacterial blight pathogen Xanthomonas oryzae pv. oryzae (Xoo) has both qualitative and quantitative components that were investigated using three near-isogenic line sets for four resistance (R) genes (Xa4, xa5, xa13, and Xa21) and 12 Xoo races. Our results indicate that these two resistance components of rice plants were associated with the properties of the R gene...
متن کاملتفکیک فاکتورهای بیماری زایی در پنج نژاد پر آزار زنگ زرد گندم (Puccinia striiformis f.sp. tritici) و شناسایی منابع مقاومت نسبت به آنها
Identifying the virulence factors of stripe rust (Puccinia striiformis f. sp. tritici) disease, awareness of numbers and identification of resistance genes in wheat breeding materials, accelerate the process of producing the resistance cultivars which are sustained against different races. To study the genetic and pathogenic and non-pathogenic spectrum of genes, five hot races of stripe rust wh...
متن کاملSafe Runtime Downcasts With Ownership Types
The possibility of aliasing between objects constitutes one of the primary challenges in understanding and reasoning about correctness of object-oriented programs. Ownership types provide a principled way of specifying statically enforcable restrictions on object aliasing. Ownership types have been used to aid program understanding and evolution, verify absence of data races and deadlocks in mu...
متن کاملAbstract Interpretation Against Races
Interpretation against Races Roberto Barbuti Stefano Cataudella Luca Tesei Dipartimento di Informatica – Università di Pisa Via F. Buonarroti, 2 56127 Pisa Italy email: Abstract. In this paper we investigate the use of abstract interpretation techniques for statically preventing race conditions. To this purpose we enrich the concurrent object calculus conc by annotating terms with the set of “l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999